On Σ11-complete equivalence relations on the generalized Baire space
نویسندگان
چکیده
منابع مشابه
On Borel equivalence relations in generalized Baire space
We construct two Borel equivalence relations on the generalized Baire space κ, κ = κ > ω, with the property that neither of them is Borel reducible to the other. A small modification of the construction shows that the straightforward generalization of the Glimm-Effros dichotomy fails. By λ we denote the set of all functions κ→ λ. We define a topology to (λ) by letting the sets N(η1...,ηn) = {(f...
متن کاملOn Σ11 equivalence relations over the natural numbers
We study the structure of Σ1 equivalence relations on hyperarithmetical subsets of ω under reducibilities given by hyperarithmetical or computable functions, called h-reducibility and FF-reducibility, respectively. We show that the structure is rich even when one fixes the number of properly Σ1 (i.e. Σ 1 1 but not ∆ 1 1) equivalence classes. We also show the existence of incomparable Σ1 equival...
متن کاملTHE CONNECTION BETWEEN SOME EQUIVALENCE RELATIONS ON FUZZY SUBGROUPS
This paper, deals with some equivalence relations in fuzzy subgroups. Further the probability of commuting two fuzzy subgroups of some finite abelian groups is defined.
متن کاملComputable Analysis Over the Generalized Baire Space
One of the main goals of computable analysis is that of formalizing the complexity of theorems from real analysis. In this setting Weihrauch reductions play the role that Turing reductions do in standard computability theory. Via coding, we can transfer computability and topological results from the Baire space ω to any space of cardinality 2א0 , so that e.g. functions over R can be coded as fu...
متن کاملComplete Analytic Equivalence Relations
We prove that various concrete analytic equivalence relations arising in model theory or analysis are complete, i.e. maximum in the Borel reducibility ordering. The proofs use some general results concerning the wider class of analytic quasi-orders.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2015
ISSN: 0942-5616
DOI: 10.1002/malq.201200063